La generación de casos de prueba para SQL es un tema de investigación actual. En este contexto, nuestro proyecto desarrolla ideas innovadoras presentadas en \cite{flops2010} e incluso hace sus propias aportaciones al campo. Las ideas sobre cómo transformar a restricciones consultas existenciales anidadas se han concebido en el seno de nuestro proyecto y la publicación de las mismas está actualmente en proceso \cite{prole2012}.

El proyecto ha consistido en la implementación de un prototipo para la obtención de casos de prueba positivos de consultas SQL. Consideramos un caso de prueba positivo a una instancia de la base de datos tal que la relación estudiada devuelve una solución no vacía. Para ello, se realiza un análisis sintáctico del código SQL que define la base de datos que queremos estudiar y se generan las restricciones que debe cumplir una instancia para ser un caso de prueba positivo. Estas restricciones se traducen posteriormente a un lenguaje concreto de programación con restricciones, en nuestro caso MiniZinc. Finalmente un resolutor encuentra, si existiera, la instancia buscada, que se presentará al usuario en forma de inserciones en la base de datos.

La herramienta desarrollada constituye un prototipo novedoso en el campo de las bases de datos que podrá ser de verdadera utilidad práctica una vez actualizada con las ideas presentadas en la sección de trabajo futuro (sección \ref{sec:trabajoFuturo}). Actualmente existe una carencia de herramientas complementarias de depuración y prueba para el desarrollo de bases de datos relacionales. Trabajos como el presente muestran que este tipo de herramientas es factible y que presumiblemente supondrán una mejora en el desarrollo de bases de datos.

